SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME

We compare the efficiency of seven modern SMT-solvers for several decision and combinatorial problems: the bounded Post correspondence problem (BPCP), the extended string correction problem (ESCP), and the Towers of Hanoi (ToH) of exponential solutions. For this purpose, we define new original reductions to SMT for all the above problems, and show their complexity. Our extensive experimental results allow for drawing quite interesting conclusions on efficiency and applicability of SMT-solvers depending on the theory used in the encoding

FÖRSTER TRANSFER CALCULATIONS BASED ON CRYSTAL STRUCTURE DATA FROM Agmenellum quadruplicatum C-PHYCOCYANIN

Excitation energy transfer in C-phycocyanin is modeled using the Forster inductive resonance mechanism. Detailed calculations are carried out using coordinates and orientations of the chromophores derived from X-ray crystallographic studies of C-phycocyanin from two different species (Schirmer et al, J. Mol. Biol. 184, 257–277 (1985) and ibid., 188, 651-677 (1986)). Spectral overlap integrals are estimated from absorption and fluorescence spectra of C-phycocyanin of Mastigocladus laminosus and its separated subunits. Calculations are carried out for the β-subunit, αβ-monomer, (αβ)3-trimer and (αβ)0-hexamer species with the following chromophore assignments: β155 = 's’(sensitizer), β84 =‘f (fluorescer) and α84 =‘m’(intermediate):]:. The calculations show that excitation transfer relaxation occurs to 3=98% within 200 ps in nearly every case; however, the rates increase as much as 10-fold for the higher aggregates. Comparison with experimental data on fluorescence decay and depolarization kinetics from the literature shows qualitative agreement with these calculations. We conclude that Forster transfer is sufficient to account for all of the observed fluorescence properties of C-phycocyanin in aggregation states up to the hexamer and in the absence of linker polypeptides

Importance of resource selection and social behavior to partitioning of hostile space by sympatric canids

Investigations into mechanisms of resource partitioning are particularly suited to systems where nascent interactive behaviors are observable. Wolf (Canis lupus) recolonization of the Greater Yellowstone Ecosystem provided such a system, and we were able to identify behaviors influencing the partitioning of resources by coyotes (Canis latrans) and wolves. We observed coyote–wolf interactions immediately after wolf recolonization, when reemergent behaviors mediating the outcome of competitive interactions were detectable and mechanisms of spatial avoidance were identifiable. Although coyotes used the same space as wolves, they likely minimized risk of encounter by making adaptive changes in resource selection based on perception of wolf activity and potential scavenging opportunities. When exploiting carrion subsidies (i.e., wolf-killed ungulates), coyotes relied on social behaviors (i.e., numerical advantage in concert with heightened aggression) to mitigate escalating risk from wolves and increase resource-holding potential. By adapting behaviors to fluctuating risk, coyotes might reduce the amplitude of competitive asymmetries. We concluded coyotes do not perceive wolves as a threat requiring generalized spatial avoidance. Rather, the threat of aggressive interactions with wolves is spatially discrete and primarily contained to areas adjacent to carrion resources

Learning valued relations from data

Driven by a large number of potential applications in areas like bioinformatics, information retrieval and social network analysis, the problem setting of inferring relations between pairs of data objects has recently been investigated quite intensively in the machine learning community. To this end, current approaches typically consider datasets containing crisp relations, so that standard classification methods can be adopted. However, relations between objects like similarities and preferences are in many real-world applications often expressed in a graded manner. A general kernel-based framework for learning relations from data is introduced here. It extends existing approaches because both crisp and valued relations are considered, and it unifies existing approaches because different types of valued relations can be modeled, including symmetric and reciprocal relations. This framework establishes in this way important links between recent developments in fuzzy set theory and machine learning. Its usefulness is demonstrated on a case study in document retrieval

Scaling-up camera traps: monitoring the planet's biodiversity with networks of remote sensors

Countries committed to implementing the Convention on Biological Diversity's 2011–2020 strategic plan need effective tools to monitor global trends in biodiversity. Remote cameras are a rapidly growing technology that has great potential to transform global monitoring for terrestrial biodiversity and can be an important contributor to the call for measuring Essential Biodiversity Variables. Recent advances in camera technology and methods enable researchers to estimate changes in abundance and distribution for entire communities of animals and to identify global drivers of biodiversity trends. We suggest that interconnected networks of remote cameras will soon monitor biodiversity at a global scale, help answer pressing ecological questions, and guide conservation policy. This global network will require greater collaboration among remote‐camera studies and citizen scientists, including standardized metadata, shared protocols, and security measures to protect records about sensitive species. With modest investment in infrastructure, and continued innovation, synthesis, and collaboration, we envision a global network of remote cameras that not only provides real‐time biodiversity data but also serves to connect people with nature

Could Direct Killing by Larger Dingoes Have Caused the Extinction of the Thylacine from Mainland Australia?

Invasive predators can impose strong selection pressure on species that evolved in their absence and drive species to extinction. Interactions between coexisting predators may be particularly strong, as larger predators frequently kill smaller predators and suppress their abundances. Until 3500 years ago the marsupial thylacine was Australia's largest predator. It became extinct from the mainland soon after the arrival of a morphologically convergent placental predator, the dingo, but persisted in the absence of dingoes on the island of Tasmania until the 20th century. As Tasmanian thylacines were larger than dingoes, it has been argued that dingoes were unlikely to have caused the extinction of mainland thylacines because larger predators are rarely killed by smaller predators. By comparing Holocene specimens from the same regions of mainland Australia, we show that dingoes were similarly sized to male thylacines but considerably larger than female thylacines. Female thylacines would have been vulnerable to killing by dingoes. Such killing could have depressed the reproductive output of thylacine populations. Our results support the hypothesis that direct killing by larger dingoes drove thylacines to extinction on mainland Australia. However, attributing the extinction of the thylacine to just one cause is problematic because the arrival of dingoes coincided with another the potential extinction driver, the intensification of the human economy

Micromechanical Properties of Injection-Molded Starch–Wood Particle Composites

The micromechanical properties of injection molded starch–wood particle composites were investigated as a function of particle content and humidity conditions. The composite materials were characterized by scanning electron microscopy and X-ray diffraction methods. The microhardness of the composites was shown to increase notably with the concentration of the wood particles. In addition,creep behavior under the indenter and temperature dependence were evaluated in terms of the independent contribution of the starch matrix and the wood microparticles to the hardness value. The influence of drying time on the density and weight uptake of the injection-molded composites was highlighted. The results revealed the role of the mechanism of water evaporation, showing that the dependence of water uptake and temperature was greater for the starch–wood composites than for the pure starch sample. Experiments performed during the drying process at 70°C indicated that the wood in the starch composites did not prevent water loss from the samples.Peer reviewe